The Past, Present and Future of Cyber-Physical Systems: A Focus on Models
نویسنده
چکیده
This paper is about better engineering of cyber-physical systems (CPSs) through better models. Deterministic models have historically proven extremely useful and arguably form the kingpin of the industrial revolution and the digital and information technology revolutions. Key deterministic models that have proven successful include differential equations, synchronous digital logic and single-threaded imperative programs. Cyber-physical systems, however, combine these models in such a way that determinism is not preserved. Two projects show that deterministic CPS models with faithful physical realizations are possible and practical. The first project is PRET, which shows that the timing precision of synchronous digital logic can be practically made available at the software level of abstraction. The second project is Ptides (programming temporally-integrated distributed embedded systems), which shows that deterministic models for distributed cyber-physical systems have practical faithful realizations. These projects are existence proofs that deterministic CPS models are possible and practical.
منابع مشابه
Cyber Threats Foresight Against Iran Based on Attack Vector
Cyber threats have been extraordinary increased in recent years. Cyber attackers, including government agencies or hackers, have made significant advances in the use of various tools for attacking target systems in some countries particularly on Islamic republic of Iran. The complexity of cyber threats and the devastating effects of them on critical systems highlights necessity of cyber thr...
متن کاملCyber physical systems based model-driven development for precision agriculture
In the last few years, a paradigm shift has been identified, from Complex Adaptive Systems towards Internet of Things and Cyber-Physical Systems of Systems. Systems that can integrate physical with virtual environments are creating complex systems. By connecting sensor data, actuator systems within a virtual environment information analysis is enhanced. The focus of the present paper is to disc...
متن کاملApplication of Stochastic Optimal Control, Game Theory and Information Fusion for Cyber Defense Modelling
The present paper addresses an effective cyber defense model by applying information fusion based game theoretical approaches. In the present paper, we are trying to improve previous models by applying stochastic optimal control and robust optimization techniques. Jump processes are applied to model different and complex situations in cyber games. Applying jump processes we propose some m...
متن کاملMizaj past, present and future
Temperament (Mizaj), as an individual factor, has great importance in traditional medicine and its use in diagnosis and treatment of diseases, as well as the individual lifestyle is very common. Since medicine moves toward Personalized Medicine, the root of individual differences will find its position in different aspects of medicine in early future. In traditional medicine, temperament is ...
متن کامل